00100	Physical control of the mind
00200	Jose R. Delgado
00300	stack on desk
00400	
00500	Special Metamodality in Renju Game
00600	Oda and Womack
00700	review stack in cabinet
00800	
00900	Automatic deduction relative to natural models
01000	Jack Buchanan
01100	review stack
01200	
01300	A Pred. Calc. Based Adaptive System
01400	David A. Plaisted
01500	review stack
01600	
01700	Developing Man-Machine Systems
01800	L. I. Press
01900	review stack
02000	
02100	Examples of Formal Semantics
02200	Donald E. Knuth
02300	MTC in cabinet
02400	
02500	Information Structure Models for Programming Languages
02600	Peter Wegner
02700	MTC in cabinet
02800	
02900	Proving Correctness of Implementation Techniques
03000	Jones and Lucas
03100	MTC in cabinet
03200	
03300	A Correctness Proof Using Recursively Defined Functions
03400	J. H. Morris
03500	MTC in cabinet
03600	
03700	Yet Another Proof of the Correctness of Block Implementation
03800	C. B. Jones
03900	MTC in cabinet
04000	
04100	Another Recursion Induction Principle
04200	James H. Morris
04300	MTC in cabinet
04400	A proposed notation for the advice-taker
04500	Erik Sandewall
04600	desk
04700	
04800	Machine Verification of mathematical proof
04900	Paul W. Abrahams
05000	desk
05100	
05200	Proof of the partial correctness of the following program
05300	Marco Somalvico
05400	MTC file
05500	
05600	Toward a Man-Machine System for Proving Program Correctness
05700	Donald Good
05800	MTC file
05900	
06000	Splitting and Reduction Heuristics in Automatic Theorem Proving
06100	Bledsoe
06200	Review file